<?php

echo 'pull2.php';
?>